(* Standard java functions. *)
let std_print = "
public static void print(int args) {		
	System.out.println(args);
}
"

(* A string list of function names in the standard library. *)
let func_names = "print" :: []

(* A string concatenation of all of the function definitions. *)
let func_defs = std_print

